#ifndef __DEVICE_TIME_H
#define __DEVICE_TIME_H
#include <types.h>

void timer_init(uint32_t freq);

#endif

